Девянин П. Н. «Правила преобразования состояний базовой ролевой ДП-модели управления доступом и информационными потоками в операционных системах» // Прикладная дискретная математика 2011. №1(11) C.78-95
Стефанцов Д. А. , Гречнев С. Ю. «Модификация ЛЯПАСа для разработки ОС» // Прикладная дискретная математика. Приложение 2015. №8 C.129-131